<?=html::stylesheet("public/medias/stylesheet/jqueryui/base/ui.tabs.css")?>
<?=html::script("public/scripts/jquery/jquery.timer.js")?>
<?=html::script("public/scripts/jquery/jquery-ui-1.7.1.custom.min.js")?>
<script type="text/javascript" language="javascript">
    $(document).ready(function(){
        $('#problem_tabs').tabs();
        /*var fetch_url = "<?#=url::site('json/submissions/get_my_submissions/'.$problem->id)?>";
        var fetch_interval = "20s";
        var fetch_function = function(){
            $.getJSON(fetch_url,function(data){
                $("#submissionlistbody tr").remove();
                for(var i in data){
                    var parityclass = (i % 2 == 0) ? "odd" : "even";
                    $("#submissionlistbody").append("<tr class=\""+parityclass+"\">\n\
<td>"+data[i]['full_name']+"</td>\n\
<td>"+data[i]['submit_time']+"</td>\n\
<td>"+data[i]['verdict']+"</td>\n\
<td><a href=\"<?=url::site('submissions/view')?>?submissionid="+data[i]['id']+"\">View</a></td>\n\
</tr>");
                }
            });
        };

        fetch_function();

        $('#mysubmissions').click(function(){
            fetch_url = "<?#=url::site('json/submissions/get_my_submissions/'.$problem->id)?>";
            fetch_function();
        });

        $('#allsubmissions').click(function(){
            fetch_url = "<?#=url::site('json/submissions/get_submissions/'.$problem->id)?>";
            fetch_function();
        });

        $(document).everyTime(fetch_interval, "submission_update",fetch_function);*/
    });
</script>